Bio-Inspired Genetic Algorithms with Formalized Crossover Operators for Robotic Applications
نویسندگان
چکیده
Genetic algorithms are widely adopted to solve optimization problems in robotic applications. In such safety-critical systems, it is vitally important to formally prove the correctness when genetic algorithms are applied. This paper focuses on formal modeling of crossover operations that are one of most important operations in genetic algorithms. Specially, we for the first time formalize crossover operations with higher-order logic based on HOL4 that is easy to be deployed with its user-friendly programing environment. With correctness-guaranteed formalized crossover operations, we can safely apply them in robotic applications. We implement our technique to solve a path planning problem using a genetic algorithm with our formalized crossover operations, and the results show the effectiveness of our technique.
منابع مشابه
Using Genetic Algorithms with Asexual Transposition
Traditional Genetic Algorithms (GA) use crossover and mutation as the main genetic operators to achieve population diversity. Previous work using a biologically inspired genetic operator called transposition, allowed the GA to reach better solutions by replacing the traditional crossover operators. In this paper we extend that work to the case of asexual reproduction. The GA efficiency was comp...
متن کاملIntelligent scalable image watermarking robust against progressive DWT-based compression using genetic algorithms
Image watermarking refers to the process of embedding an authentication message, called watermark, into the host image to uniquely identify the ownership. In this paper a novel, intelligent, scalable, robust wavelet-based watermarking approach is proposed. The proposed approach employs a genetic algorithm to find nearly optimal positions to insert watermark. The embedding positions coded as chr...
متن کاملEvaluation of Crossover Operator Performance in Genetic Algorithms with Binary Representation
Genetic algorithms (GAs) generate solutions to optimization problems using techniques inspired by natural evolution, like crossover, selection and mutation. In that process, crossover operator plays an important role as an analogue to reproduction in biological sense. During the last decades, a number of different crossover operators have been successfully designed. However, systematic comparis...
متن کاملHill Climbing Based Hybrid Crossover in Genetic Algorithms
Genetic Algorithms are biologically inspired optimization algorithms. Performance of genetic algorithms mainly depends on type of genetic operators – Selection, Crossover, Mutation and Replacement used in it. Crossover operators are used to bring diversity in the population. This paper studies different crossover operators and then proposes a hybrid crossover operator that incorporates knowledg...
متن کاملOPTIMAL OPERATORS OF GENETIC ALGORITHM IN OPTIMIZING SEGMENTAL PRECAST CONCRETE BRIDGES SUPERSTRUCTURE
Bridges constitute an expensive segment of construction projects; the optimization of their designs will affect their high cost. Segmental precast concrete bridges are one of the most commonly serviced bridges built for mid and long spans. Genetic algorithm is one of the most widely applied meta-heuristic algorithms due to its ability in optimizing cost. Next to providing cost optimization of t...
متن کامل